Modeling and analyzing finite state automata in the finite field F2
نویسندگان
چکیده
منابع مشابه
Reduction of Computational Complexity in Finite State Automata Explosion of Networked System Diagnosis (RESEARCH NOTE)
This research puts forward rough finite state automata which have been represented by two variants of BDD called ROBDD and ZBDD. The proposed structures have been used in networked system diagnosis and can overcome cominatorial explosion. In implementation the CUDD - Colorado University Decision Diagrams package is used. A mathematical proof for claimed complexity are provided which shows ZBDD ...
متن کاملA Finite Field Framework for Modeling, Analysis and Control of Finite State Automata
ing from the latter exemplary viewpoint, in general we obtain a multilinear transition function f : F2 ×F2 ×F2 → F2 f (x[k+1],x[k],u[k]) = 0 = ∑ S1∈2In ∑ S2∈2In ∑ S3∈2Im δS1,S2,S3 ( ∏ j∈S1 x j[k+1] )( ∏ l∈S2 xl[k] )( ∏ m∈S3 um[k] ) , (21) with x ∈ F2 and u ∈ F2 , where the sets In = {1,2, . . . ,n}, Im = {1,2, . . . ,m} are index sets, 2In denotes the (possibly empty) power set of In and δS1,S2...
متن کاملFinite Element Method Application in Analyzing Magnetic Fields of High Current Bus Duct
The goal of paper is to present the magnetic field calculations in high current bus ducts. Finiteelement method is used to do this. Bus ducts under study have figure such as circle area. Thecalculations will be using mathematical relations, meshed geometric shape and analyzing them.Geometric mean will help us to determine the value of magnetic field. COMSOL software is appliedfor simulation stu...
متن کاملMultidimensional fuzzy finite tree automata
This paper introduces the notion of multidimensional fuzzy finite tree automata (MFFTA) and investigates its closure properties from the area of automata and language theory. MFFTA are a superclass of fuzzy tree automata whose behavior is generalized to adapt to multidimensional fuzzy sets. An MFFTA recognizes a multidimensional fuzzy tree language which is a regular tree language so that for e...
متن کاملTransient Fluid Flow Modeling in Fractured Aquifer of Sechahoon Iron Mine Using Finite Element Method
Considering the fact that a large volume of iron reserve in the Sechahoon Iron Mine in Yazd Province has located under the water table, it is necessary to conduct a comprehensive study on water flow within the pit and its surroundings. The conceptual model of the aquifer was created using surface and underground geological information compared with water table data of the area of interest. In t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Mathematics and Computers in Simulation
دوره 66 شماره
صفحات -
تاریخ انتشار 2004